program testGlobalRedundancyElimination;

class testGlobalRedundancyElimination
BEGIN
   
   VAR aa, bb, cc, dd, ee, ff, mm, nn, pp, qq, rr, ss, tt, uu, vv, ww, xx, yy, zz: integer;

FUNCTION testGlobalRedundancyElimination;
BEGIN
   mm := aa + bb;
   nn := aa + bb;

   IF True THEN
   BEGIN
      pp := cc + dd;
      rr := cc + dd
   END
   ELSE
   BEGIN
      qq := aa + bb;
      rr := cc + dd;
      IF True THEN
      BEGIN
	 ee := bb + 18;
	 ss := aa + bb;
	 uu := ee + ff
      END
      ELSE
      BEGIN
	 ee := aa + 17;
	 tt := cc + dd;
	 uu := ee + ff
      END;
      vv := aa + bb;
      ww := cc + dd;
      xx := ee + ff
   END;

   yy := aa + bb;
   zz := cc + dd
END

END
.

